Cantor's theorem

Theorem

For any set $A$, the set $\mathcal{P}(A)$ of all subsets of $A$ is not equivalent to $A$; it has strictly larger cardinality.

References

1. https://www.ucl.ac.uk/~ucahad0/3103_handout_0.pdf